Robert Atkey: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Syntax and Semantics of Quantitative Type Theory

Year:

2018

Language:

english

File:

PDF, 725 KB

english, 2018

2

Parameterised notions of computation

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 299 KB

english, 2009

3

Effect handlers via generalised continuations

HILLERSTRÃM, DANIEL, LINDLEY, SAM, ATKEY, ROBERT

Journal:

Journal of Functional Programming

Year:

2020

Language:

english

File:

PDF, 2.05 MB

english, 2020

4

What is a Categorical Model of Arrows?

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 277 KB

english, 2011

5

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - The Semantics of Parsing with Semantic Actions

Year:

2012

Language:

english

File:

PDF, 275 KB

english, 2012

6

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A relationally parametric model of dependent type theory

Atkey, Robert, Ghani, Neil, Johann, Patricia

Year:

2014

Language:

english

File:

PDF, 634 KB

english, 2014

7

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Abstraction and invariance for algebraically indexed types

Atkey, Robert, Johann, Patricia, Kennedy, Andrew

Year:

2013

Language:

english

File:

PDF, 767 KB

english, 2013

8

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - From parametricity to conservation laws, via Noether's theorem

Year:

2014

Language:

english

File:

PDF, 594 KB

english, 2014

9

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Productive coprogramming with guarded recursion

Atkey, Robert, McBride, Conor

Year:

2013

Language:

english

File:

PDF, 614 KB

english, 2013

10

Interleaving data and effects

ATKEY, ROBERT, JOHANN, PATRICIA

Journal:

Journal of Functional Programming

Year:

2015

Language:

english

File:

PDF, 258 KB

english, 2015

11

Productive coprogramming with guarded recursion

Atkey, Robert, McBride, Conor

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 614 KB

english, 2013

12

[ACM Press the 2nd ACM SIGPLAN symposium - Edinburgh, Scotland (2009.09.03-2009.09.03)] Proceedings of the 2nd ACM SIGPLAN symposium on Haskell - Haskell '09 - Unembedding domain-specific languages

Atkey, Robert, Lindley, Sam, Yallop, Jeremy

Year:

2009

Language:

english

File:

PDF, 390 KB

english, 2009

13

Abstraction and invariance for algebraically indexed types

Atkey, Robert, Johann, Patricia, Kennedy, Andrew

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 767 KB

english, 2013

14

Dijkstra monads for all

Maillard, Kenji, Ahman, Danel, Atkey, Robert, Martínez, Guido, Hriţcu, Cătălin, Rivas, Exequiel, Tanter, Éric

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 521 KB

english, 2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски